我之所以认定 Nix 的名称也可以称为变量，是 Nix 的报错会这么说：

nix-repl> { a = b; } 
error: undefined variable 'b'

其实官方文档里也 variable 满天飞 hhh 只能说太草台了（

https://nix.dev/manual/nix/2.31/language/syntax.html

我之所以认定 Nix 的名称也可以称为变量

实际使用上我觉得 Nix 的名称还是更像名称绑定的，毕竟名称这个东西基本也就是在 let ... in ... 里面用用，nix repl 的行为不一定代表语言本身的行为。

看看其他同学怎么说吧，我不太懂 PLT.

其实官方文档里也 variable 满天飞 hhh 只能说太草台了（

https://nix.dev/manual/nix/2.31/language/syntax.html

我一眼就看到“局部变量”了，震惊

A let-expression allows you to define local variables for an expression.

说变量肯定没问题，lambda 演算里也都说 variable。我只是反对说局部变量，因为并没有全局变量啊……

我也好奇，请教一下限定在 nix 语言这个范围内，名称和变量是什么关系，是同义词吗？@linyinfeng

官方文档的这句：“A let-expression allows you to define local variables for an expression.” ，我后来又想了一下，local variables 即“局部变量”虽然可能引起误会，但未必错误。局部是相对的，一个变量可能会比另一个变量更有局部性，并不是说只要提到局部变量就必然存在全局变量。

就像“这种事我做不到，毕竟我能力有限”，“有限”也是相对的，存在“比较有限”和“非常有限”的这种对比，但并不存在一个能力无限的人。